| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital; Embrapa Unidades Centrais. |
|
Data corrente: |
09/08/1993 |
|
Data da última atualização: |
09/08/1993 |
|
Autoria: |
EVANGELISTA, S. R. M. |
|
Afiliação: |
Embrapa-CNPTIA. |
|
Título: |
Abstração funcional de programas: uma contribuição ao entendimento do código fonte de um programa. |
|
Ano de publicação: |
1992 |
|
Fonte/Imprenta: |
1992. |
|
Páginas: |
208 f. |
|
Idioma: |
Português |
|
Notas: |
Dissertação (Mestrado em Engenharia Elétrica) - Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas, Campinas. |
|
Conteúdo: |
Este trabalho tem por objetivo desenvolver e implementar um modelo para abstração funcional de programas, a qual e definida nesta pesquisa com a precisa determinação do efeito de um programa sobre as suas variáveis em todas as situações possíveis. O modelo de abstração funcional proposto e fundamentado na segmentação do programa alvo em termos de suas variáveis relevantes para abstração, na sua decomposição em primos, na simplificação algébrica dos comandos de decisão do programa, na execução simbólica e no uso das técnicas de "Trace-Table" e de resolução das relações de recorrência em interações. Este modelo de abstração é validado e consolidado através da implementação de uma ferramenta que utiliza o código fonte como única fonte de informação, gera uma forma intermediária do programa para facilitar a atividade de abstração,segmenta o programa em função de suas variáveis relevantes para abstração, decompõe o segmento encontrado em programas primos e sintetiza cada um dos primos. Este trabalho contribuiu para a definição de um modelo de abstração funcional promissor em relação ao seu potencial de automatização, bem como a sua aplicabilidade. |
|
Palavras-Chave: |
Abstração funcional de programa; Abstração Funcional- Processamento de Dado; Algorithm; Algoritmo; Data processing; Engenharia de Software. |
|
Thesaurus Nal: |
engineering. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01976nam a2200217 a 4500
001 1001458
005 1993-08-09
008 1992 bl uuuu m 00u1 u #d
100 1 $aEVANGELISTA, S. R. M.
245 $aAbstração funcional de programas$buma contribuição ao entendimento do código fonte de um programa.
260 $a1992.$c1992
300 $a208 f.
500 $aDissertação (Mestrado em Engenharia Elétrica) - Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas, Campinas.
520 $aEste trabalho tem por objetivo desenvolver e implementar um modelo para abstração funcional de programas, a qual e definida nesta pesquisa com a precisa determinação do efeito de um programa sobre as suas variáveis em todas as situações possíveis. O modelo de abstração funcional proposto e fundamentado na segmentação do programa alvo em termos de suas variáveis relevantes para abstração, na sua decomposição em primos, na simplificação algébrica dos comandos de decisão do programa, na execução simbólica e no uso das técnicas de "Trace-Table" e de resolução das relações de recorrência em interações. Este modelo de abstração é validado e consolidado através da implementação de uma ferramenta que utiliza o código fonte como única fonte de informação, gera uma forma intermediária do programa para facilitar a atividade de abstração,segmenta o programa em função de suas variáveis relevantes para abstração, decompõe o segmento encontrado em programas primos e sintetiza cada um dos primos. Este trabalho contribuiu para a definição de um modelo de abstração funcional promissor em relação ao seu potencial de automatização, bem como a sua aplicabilidade.
650 $aengineering
653 $aAbstração funcional de programa
653 $aAbstração Funcional- Processamento de Dado
653 $aAlgorithm
653 $aAlgoritmo
653 $aData processing
653 $aEngenharia de Software
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Algodão. |
|
Data corrente: |
15/08/2012 |
|
Data da última atualização: |
15/08/2012 |
|
Tipo da produção científica: |
Resumo em Anais de Congresso |
|
Autoria: |
ALVES, A. M. M.; ALMEIDA, P. B. A. de; VILAR, W. T. S.; SANTOS, M. B. H. dos; CARVALHO, J. M. F. C.; MEDEIROS, E. P. de. |
|
Afiliação: |
Ákyla Maria Martins Alves, Estagiária da Embrapa Algodão; Pollyne Borborema Alves de Almeida, Estagiária da Embrapa Algodão; Welma Thaíse Silva Vilar, Estagiária da Embrapa Algodão; Maria Betânia Hemenegildo dos Santos, Estagiária da Embrapa Algodão; JULITA MARIA FROTA CHAGAS CARVALHO, CNPA; EVERALDO PAULO DE MEDEIROS, CNPA. |
|
Título: |
Uso da espectroscopia no infravermelho próximo (NIR) para análise de perfis proteicos em embriões soaticos de amendoim. |
|
Ano de publicação: |
2012 |
|
Fonte/Imprenta: |
In: CONGRESSO BRASILEIRO DE MAMONA, 5.; SIMPÓSIO INTERNACIONAL DE OLEAGINOSAS ENERGÉTICAS, 2.; FÓRUM CAPIXABA DE PINHÃO-MANSO, 1., 2012, Guarapari. Desafios e Oportunidades: anais. Campina Grande: Embrapa Algodão, 2012. |
|
Páginas: |
P. 44 |
|
Idioma: |
Português |
|
Palavras-Chave: |
CULTIVO DE TECIDOS; EMBRIOGÊNESE SOMÁTICA; ESPECTROSCOPIA. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/63827/1/BIT-030-P.010.pdf
|
|
Marc: |
LEADER 00840nam a2200205 a 4500
001 1931331
005 2012-08-15
008 2012 bl uuuu u00u1 u #d
100 1 $aALVES, A. M. M.
245 $aUso da espectroscopia no infravermelho próximo (NIR) para análise de perfis proteicos em embriões soaticos de amendoim.
260 $aIn: CONGRESSO BRASILEIRO DE MAMONA, 5.; SIMPÓSIO INTERNACIONAL DE OLEAGINOSAS ENERGÉTICAS, 2.; FÓRUM CAPIXABA DE PINHÃO-MANSO, 1., 2012, Guarapari. Desafios e Oportunidades: anais. Campina Grande: Embrapa Algodão$c2012
300 $aP. 44
653 $aCULTIVO DE TECIDOS
653 $aEMBRIOGÊNESE SOMÁTICA
653 $aESPECTROSCOPIA
700 1 $aALMEIDA, P. B. A. de
700 1 $aVILAR, W. T. S.
700 1 $aSANTOS, M. B. H. dos
700 1 $aCARVALHO, J. M. F. C.
700 1 $aMEDEIROS, E. P. de
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Algodão (CNPA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
